Bericht 229 Refining the Hierarchy of Blind Multicounter Languages FBI-HH-B-229/01
نویسنده
چکیده
We show that the families (k, r)–RBC of languages accepted (in quasi-realtime) by one-way counter automata having k blind counters of which r are reversalbounded form a strict and linear hierarchy of semi-AFLs. This hierarchy comprises the families BLIND = M∩(C1) of blind multicounter languages with generator C1 := {w ∈ {a1, b1} ∗ | |w|a1 = |w|b1} and RBC = M∩(B1) of reversal-bounded multicounter languages with generator B1 := {a n 1b n 1 | n ∈ IN}. This generalizes and sharpens the known results from [Grei 78] and [Jant 98]. The proof for the strict inclusions for the first time uses techniques from linear algebra.
منابع مشابه
Blind Counter Automata on ω-Words
This paper generalizes the concept of blind multicounter languages to infinite words. We introduce two different acceptance modes of blind multicounter machines on ω-words, called synchrononous and asynchronous acceptance. These acceptance modes are compared with each other and with families of ω-languages of the form L = ⋃ 1≤i≤k UiV ω i , where Ui, Vi are finitary blind multicounter languages.
متن کاملEffects of a motilin receptor agonist (ABT-229) on upper gastrointestinal symptoms in type 1 diabetes mellitus: a randomised, double blind, placebo controlled trial.
INTRODUCTION Erythromycin, a motilin agonist, is a potent prokinetic. ABT-229 is a specific motilin agonist that dose dependently accelerates gastric emptying. Dyspepsia and gastroparesis are common problems in type 1 diabetes mellitus. We aimed to evaluate the efficacy of ABT-229 in symptomatic diabetic patients with and without delayed gastric emptying. METHODS Patients with type 1 diabetes...
متن کاملHierarchies of Principal Twist-Closed Trios
The language theoretic operation twist from [JaPe 94] is studied in connection with the semiAFLs of languages accepted by reversal bounded multipushdown and multicounter acceptors. It is proved that the least twist-closed trio generated by MIR := {wwrev | w ∈ {a, b}∗} is equal to the family of languages accepted in quasi-realtime by nondeterministic one-way multipushdown acceptors which operate...
متن کاملHierarchy of reversal bounded one-way multicounter machines
Institute of Mathematics of the Academy of Sciences of the Czech Republic provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This paper has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library We consider one-way ...
متن کاملar X iv : a st ro - p h / 96 06 03 6 v 1 6 J un 1 99 6 Atmospheric , Evolutionary , and Spectral Models of the Brown Dwarf Gliese 229 B
Theoretical spectra and evolutionary models that span the giant planet–brown dwarf continuum have been computed based on the recent discovery of the brown dwarf, Gliese 229 B. A flux enhancement in the 4–5 micron window is a universal feature from Jovian planets to brown dwarfs. We confirm the existence of methane and water in Gl 229 B's spectrum and find its mass to be 30 to 55 Jovian masses. ...
متن کامل